Relating Accumulative and Non-accumulative Functional Programs
نویسندگان
چکیده
A. Middeldorp (Ed.): Rewriting Techniques and Applications. Proceedings. LNCS 2051, pp. 154–168, 2001. c © Springer-Verlag Berlin Heidelberg 2001 Abstract. We study the problem to transform functional programs, which intensively use append functions (like inefficient list reversal), into programs, which use accumulating parameters instead (like efficient list reversal). We give an (automatic) transformation algorithm for our problem and identify a class of functional programs, namely restricted 2modular tree transducers, to which it can be applied. Moreover, since we get macro tree transducers as transformation result and since we also give the inverse transformation algorithm, we have a new characterization for the class of functions induced by macro tree transducers.
منابع مشابه
Deaccumulation - Improving Provability
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating arguments. In particular, this holds for tail-recursive functions that correspond to imperative programs, but also for programs with nested recursion. Based on results from the theory of tree transducers, we develop an a...
متن کاملNanotwins Formation in Accumulative Roll-Bonded Brass
Accumulative roll-bonding (ARB) is a severe plastic deformation process that is using rolling to produce ultrafine grains in coarse grained metallic materials. In this study, ARB has been applied on 70/30 brass up to 6 cycles at ambient temperature and non-lubricated conditions to apply a true strain up to 4.8 Von Mises strain. Microstructures of ARBed brass samples were characterized by scanni...
متن کاملComputational evaluation of the homogeneity of composites processed by accumulative roll bonding (ARB)
A new computational method based on MATLAB was used to study the effect of different parameters on the homogeneity of composites produced by a severe plastic deformation technique known as accumulative roll bonding. For a higher number of passes, the degree of particle agglomeration and clustering decreased, and an appreciable homogeneity was obtained in both longitudinal and transverse directi...
متن کاملImproved Approach to Global Localization based on Odometry Error Modeling for Mobile Robots
It is often the odometry accumulative error without bound after long-range movement that decreases the precision of global localization for wheeled mobile robots. Therefore, an efficient approach to odometry error modeling is proposed regarding gentle drive type mobile robots. The approximate functional expressions, between process input of odometry and non-systematic error as well as systemati...
متن کاملEffects of reinforcement distribution on the mechanical properties of Al–Fe3O4 nanocomposites fabricated via accumulative roll bonding
This research developed new nanostructured Al–Fe3O4 composites via accumulative roll bonding (ARB). X-ray diffraction (XRD) analysis and field emission scanning electron microscopy were conducted to examine microstructural characteristics and particle distribution in the nanocomposites. Hardness and tensile strength tests were employed to examine their mechanical propertie...
متن کامل